Isaac Newton was indisputably one of the greatest scientists in history. His achievements in mathematics and physics marked the culmination of the movement that brought modern science into being. Richard Westfall's biography captures in engaging detail both his private life and scientific career, presenting a complex picture of Newton the man, and as scientist, philosopher, theologian, alchemist, public figure, President of the Royal Society, and Warden of the Royal Mint. An abridged version of his magisterial study Never at Rest, (...) this concise biography makes Westfall's highly acclaimed portrait of Newton newly accessible to general readers. (shrink)

How do we know and understand who we really are as human beings? The concept of 'the self' is central to many strands of psychology and philosophy. This book tackles the problem of how to define persons and selves and discusses the ways in which different disciplines, such as biology, sociology and philosophy, have dealt with this topic. Richard S. Hallam examines the notion that the idea of the self as some sort of entity is a human construction and, (...) in effect, a virtual reality. At the same time, this virtual self is intimately related to the reality of ourselves as biological organisms. Aiming to integrate a constructionist understanding of self with the universalizing assumptions that are needed in natural science approaches, this text is unique in its attempt to create a dialogue across academic disciplines, while retaining a consistent perspective on the problem of relating nature to culture. (shrink)

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

Athletics, body imagery and spectacle : Greco-Roman practices, discourses and ideologies -- The politics of representation : English sport as an object and project of modernity -- "Staging" (capitalist/colonial) modernity : international exhibitions and Olympics -- German modernism, anti-modernism and the critical theory of sport -- A savage sorting of "winners" and "losers" : modernization, development, sport, and the challenge of slums.

Knowledge and expertise -- Knowledge and action -- The nature of professional action in urban planning.

MicroRNAs are non‐coding regulators of gene expression and key factors in development, disease, and targets for bioengineering. Consequently, microRNAs have become essential elements of already burgeoning draft plant genome descriptions where their annotation is often particularly poor, contributing unduly to the corruption of public databases. Using the Citrus sinensis as an example, we highlight and review common failings of miRNAome annotations. Understanding and exploiting the role of miRNAs in plant biology will be stymied unless the research community acts decisively to (...) improve the accuracy of miRNAome annotations. We encourage genome annotation teams to do it right or not at all. (shrink)

Studies the politics of Heidegger in terms of "thrownness" or "existential contingency". Attempts to think through Heidegger's philosophy in a manner that parallels his own dialogue with other key western thinkers.

Taking Isaac Newton at his own word, historians have long agreed that the decade of the 1660s, when Newton was a young man in his twenties, was the critical period in his scientific career. In the years 1665 and 1666, he has told us, he hit on the ideas of cosmic gravitation, the composition of white light, and the fluxional calculus. The elaboration of these basic ideas constituted his scientific achievement. Nevertheless, the decade of the 1660s has remained a virtual (...) blank in our knowledge of Newton. It need not remain so always. His papers contain a wealth of manuscripts from his undergraduate years and the period immediately following. The first volume of his mathematical papers, which will soon be published, will demonstrate how extensive the information on his early mathematical development is. The development of his non-mathematical studies, especially of what I shall call his scientific studies to distinguish them from the mathematical, can be followed as well—in his reading notes, in his notebooks, above all in the passage in his philosophical notebook labelled Quaestiones quaedam Philosophicae. In this passage we see emerging into consciousness for the first time the questions on which Newton's philosophy of nature was built. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

The scientific understanding of common chronic disease began in the mid-19th century, driven in large part by the development of the modern autopsy. For cardiovascular disease, the recognition that rigid plaques were obstructing muscular arteries, especially in the coronary arteries, provided a mechanism to explain what had been a mysterious "chest pain–sudden collapse" syndrome. The origin of these plaques was totally obscure, however, and they were given the descriptive name of "atherosclerosis," or "hardened porridge" in Greek. Not until 50 years (...) later, when animal experimental models serendipitously revealed the hyper-lipidemic consequences of a diet high in animal fat, followed by accretion of lipid... (shrink)